检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 抗合谋攻击能力可调的有状态组密钥更新协议

敖丽, 刘璟, 姚绍文, 武楠

计算机应用 2018, 38 (5): 1372-1376. DOI: 10.11772/j.issn.1001-9081.2017102413

摘要（411）

PDF （914KB）（319）

逻辑密钥分层（LKH）协议已经被证明在抗完全合谋攻击时，它通信开销的下界是 O（log n），但是在一些资源受限或者商业应用场景中，用户仍然要求通信开销低于 O（log n）。虽然，有状态的完全排外子树（SECS）协议具有常量通信开销的特性，却只能抵抗单用户攻击。考虑用户愿意牺牲一定安全性来降低通信开销的情况，利用LKH协议的完全抗合谋攻击特性和SECS协议具有常量通信开销的优势，设计并实现了一种混合的组密钥更新协议（H-SECS）。H-SECS协议根据应用场景的安全级别来配置子组数目，在通信开销和抗合谋攻击能力之间作一个最优的权衡。理论分析及仿真实验表明，与LKH协议和SECS协议相比，H-SECS协议的通信开销可以在 O（1）和 O（log n）区间进行调控。

参考文献 | 相关文章 | 多维度评价

Select

2. 串空间模型的原理与应用

谭立力，刘璟，谢鸿波，谭兴烈

计算机应用 2005, 25 (08): 1747-1749. DOI: 10.3724/SP.J.1087.2005.01747

摘要（995）

PDF （168KB）（1074）

介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。